2 - PDFSEARCH.IO - Document Search Engine

2
Results: 835450

#	Item
21	Unsupervised Detection of APT C&C Channels using Web Request Graphs Pavlos Lamprakis1 , Ruggiero Dargenio1 , David Gugelmann1 , Vincent Lenders2 , Markus Happe1 , and Laurent Vanbever1 1 2 Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2017-06-18 04:02:10 Computing Information and communications technology Internet Spamming Security breaches Botnet Command and control Computer network security Malware HTTP referer Blacklist Online Certificate Status Protocol
22	Stupid Property rights - Part 2 Last month we looked at how internet ﬁle-sharing had impacted on the media industry and the idea of intellectual property. In this article we will focus on the legislative attempts to st Add to Reading List Source URL: www.randomartists.org Language: English - Date: 2008-05-09 08:29:40 Anger Emotions BitTorrent Breakcore Bailiff The Pirate Bay Law Computing Digital media
23	Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2012-09-24 08:45:19 Software engineering Computing Computer programming Tutorial Don Sannella Haskell D Informatics Functional programming
24	The SMT-LIB Standard Version 2.6 Clark Barrett Pascal Fontaine Release: Add to Reading List Source URL: smtlib.cs.uiowa.edu Language: English - Date: 2017-07-21 16:19:02 Theoretical computer science Software engineering Computing Formal methods Logic in computer science Constraint programming Electronic design automation Satisfiability modulo theories SMT Solver Pascal Semantics
25	Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-08-29 07:14:47 Economy Business intelligence Finance Money Learning analytics Predictive analytics Analytics in higher education Analytics Usability Business analytics Architectural pattern Educational technology
26	PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-01-13 05:57:32 Theoretical computer science Mathematics Model checkers Temporal logic PRISM model checker Computation tree logic Model checking Application software Stochastic game Strategy Stochastic process Game theory
27	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 04:52:12 Mathematical analysis Functional analysis Metaphysics Stochastic processes Distribution Stochastic simulation Dynamical system
28	IOT WEEK 2018 REPORT FOREWORD...................................................................................................2 A BRIEF OVERVIEW OF IoT WEEK 2018 ....................................................... Add to Reading List Source URL: iotweek.org Language: English - Date: 2018-08-10 05:08:38 Ambient intelligence Internet of things Technology Smart city IEEE Communications Society Structure Economy SensorUp ISO/IEC JTC 1/SWG 5
29	GLOBAL BTC WHITE LABEL EXCHANGE SOLUTIONS Be the exchange you want to see in the world Add to Reading List Source URL: s3-ap-southeast-2.amazonaws.com Language: English - Date: 2018-03-01 23:14:12 Cryptocurrencies Alternative currencies Economy Money Exonumia Bitcoin Decentralization Uberisation Exchange
30	DATE FILED: May 4, 2018 Colorado Supreme Court 2 East 14th Avenue Denver, COOriginal Proceeding Pursuant to §), C.R.S) Add to Reading List Source URL: www.courts.state.co.us Language: English - Date: 2018-05-04 12:35:40 Legal documents Brief Tom Tancredo Ballot title Supreme Court of the United States Colorado Religion Politics of the United States